201. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
202. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده : Ed. by Patrick Suppes )a. o.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
203. Logic, methodology, and philosophy of science IX
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
204. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Science-- Philosophy-- Congresses,، Science-- Methodology-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
174
.
I58
1991
205. ***Logic, methodology and philosophy of science. Proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )4th: 1791: Bucharest, Romania(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
206. Logic, methodology, and philosophy of science VI :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
207. Logic, methodology, and philosophy of science, VII
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
208. Logic, methodology and philosophy of science VII : Proceedings of the International Congress of Logic, Methodology, and Philosophy, Salzburg 1983
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingarther
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic, Symbolic and mathematical
رده :
Q
174
.
I58
1983
209. Logic of computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
210. Logic of computation
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
211. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G. H. Muller, G. Takeuti, and T. Tugue
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
891
212. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G.H. Muller, G. Takeuti, and T. Tugue
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
891
213. Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
پدیدآورنده : Wolfgang Lenski )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3075
214. Logic year 1979-80, the University of Connecticut, U.S.A
پدیدآورنده : Edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
859
215. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
216. Logic year 1979-80, the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J.H. Schmerl, and R.I. Soare
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
859
217. Logic year 1979-80 : the University of Connecticut, USA
پدیدآورنده : edited by M. Lerman, J. H. Schmerl, and R. I. Soare
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
859
218. Logical foundations of computer science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
219. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
پدیدآورنده : LFCS 9002)9002 :Deerfield Beach, Fla.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009